Automated Test Generation from a Behavioral Model - Clarke..
نویسنده
چکیده
The challenge for testers: reduce the testing interval without reducing quality. One answer: find a new way to approach test design and test generation. This paper will discuss an ongoing Lucent Technologies experiment in automated test generation from a behavioral model of the software product under test. Results indicate that our new approach can increase the effectiveness of our testing while reducing the cost of test design and generation.
منابع مشابه
Automatic test generation from behavioral patterns
This paper presents a method for automatic test case and test sequence generation from behavioral patterns. A behavioral pattern represents a class of behaviors of the environment with which the software under test interacts. Behavioral patterns are provided by the human tester to complement functional testing based on random test data generation. Thus, the tester can bring all her knowledge of...
متن کاملE2E Testing and Evaluation of High Assurance Systems
DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied to th...
متن کاملNew Tool for Model-Based Testing using Petri nets and Constraint Programming
Model-Based Testing is an automated test approach used for automated test generation, execution, and evaluation. For this purposes, it uses a formal model of system behavior. In this paper, an advanced variant of Petri net is presented as a tool for description of the systems under test. Petri nets have been selected for their graphical and executable nature and for the ability to describe para...
متن کاملAutomated Assume-Guarantee Reasoning through Implicit Learning
We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learning algorithm for finite automata, our algorithm computes implicit representations of contextual assumptions by the CDNF algorithm — a learning algorithm for Boolean functions. We report three parametrized test cases where our soluti...
متن کاملThe SLEUTH Land Use Change Model: A Review
Land use change is driven by interaction in space and time between humans and the environment that can be captured by computer simulation models (Veldkamp and Verburg, 2004). In the last few decades, land use change models have played an important role in understanding the causes, mechanisms and consequences of land use dynamics. SLEUTH is an open source cellular automata based land use change ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998